R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
Simulations reveal pion's interaction with Higgs field with unprecedented precision
phys.org·17h
🕸️Tensor Networks
Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
💻Programming languages
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·13h
🔲Cellular Automata
Building Castles in the Air, but With Surprise Physics
dbreunig.com·1d
⚙️Proof Engineering
The folk theorem of statistical computing: Fake-data simulation as posterior predictive checking
statmodeling.stat.columbia.edu·19h
🧮Kolmogorov Bounds
Lobsters Interview with Matklad
lobste.rs·19h·
Discuss: Lobsters
🦀Rust Macros
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·9h
⚔️Lean Theorem
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·16h
🔗Tailscale
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·6h·
Discuss: Hacker News
📼Tape Combinators
We now have the math to describe 'matrix tides'
buffalo.edu·11h·
Discuss: Hacker News
🌀Differential Geometry
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
AI built from 1800s texts surprises creator by mentioning real 1834 London protests
arstechnica.com·10h·
Discuss: r/LocalLLaMA
🤖Paleographic AI
Hybrid Intelligence Systems and Cognitive Biases in AI: Integrating Large Language Models with Classical Reasoning for E
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Scheme Basics
courses.cs.washington.edu·20h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Hydra: A 1.6B-Parameter State-Space Language Model with Sparse Attention, Mixture-of-Experts, and Memory
arxiv.org·1d
💻Programming languages
WeakC4, or Distilling an Emergent Object
2swap.github.io·8h·
Discuss: Hacker News
🔲Cellular Automata
Signal Relays
pzuraq.com·16h·
Discuss: Hacker News
✨Effect Handlers
Physics-inspired computer architecture solves complex optimization problems
phys.org·2h
⚛️Information Physics
Do I need a Lisp Machine comeback?
far.chickenkiller.com·21h·
Discuss: Hacker News
🦀Rust Macros